//
// Copyright (c) ZeroC, Inc. All rights reserved.
//

[[suppress-warning:reserved-identifier]]
module IceSomething {}
